Um Espaço Vetorial é um "terreno" matemático rigoroso definido não pela natureza de seus objetos, mas pelo modo como esses objetos se comportam. Independentemente de estar lidando com setas em $\mathbf{R}^n$, matrizes em $\mathbf{M}$ ou funções contínuas, as mesmas regras se aplicam.
Os Oito Axiomas do Espaço
Qualquer coleção de objetos é um espaço vetorial se obedecer a estas regras fundamentais:
- 1. Comutatividade: $x + y = y + x$
- 2. Associatividade: $x + (y + z) = (x + y) + z$
- 3. Vetor Nulo: Existe um único $0$ tal que $x + 0 = x$
- 4. Inversos: Para cada $x$, existe um único $-x$ tal que $x + (-x) = 0$
- 5. Identidade: $1x = x$
- 6. Associatividade Escalar: $(c_1c_2)x = c_1(c_2x)$
- 7. Distributividade (I): $c(x + y) = cx + cy$
- 8. Distributividade (II): $(c_1 + c_2)x = c_1x + c_2x$
Definindo Subespaços
Um subespaço $S$ de $V$ é um subconjunto que é "fechado" sob as operações do espaço maior. Você nunca pode escapar do subconjunto somando seus elementos ou escalando-os.
O Teorema da Fechamento
Um subconjunto $S$ é um subespaço se, e somente se, para todo $v, w \in S$ e todo escalar $c, d$:
$$cv + dw \in S$$
Isso implica que $S$ deve conter o vetor nulo ($0 \in S$), pois $0v = 0$.O Espaço Gerado e a Soma
O espaço gerado de um conjunto $S$ é o menor subespaço que contém todos os vetores em $S$:
$$SS = \text{todos os } c_1v_1 + \dots + c_nv_n$$
Além disso, dados dois subespaços $S$ e $T$, sua soma $S + T$ (que contém todos os vetores $s+t$) forma um novo subespaço. Observe que a união $S \cup T$ quase nunca é um subespaço!
🎯 O Teste do "Zero"
A maneira mais rápida de desqualificar um subconjunto de ser um subespaço é verificar a presença do vetor nulo. Se $x=0$ não estiver incluído, ele não pode ser um subespaço. Armadilhas comuns incluem planos deslocados da origem ou quadrantes que excluem valores negativos.